21. Algebraic Structures and Operator Calculus :
المؤلف: by Philip Feinsilver, René Schott.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Functions, Special.,Information theory.
رده :
QA351
.
B974
1996
22. Algorithmen theorie
المؤلف: / Jacques Loeckx
المکتبة: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع: Recursive functions,Algorithms,Formal languages
رده :
511
.
8
L825
23. Algorithmic and experimental methods in algebra, geometry, and number theory /
المؤلف: Gebhard Böckle, Wolfram Decker, Gunter Malle, editors.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer algorithms.,Number theory.,Computer algorithms.,COMPUTERS-- Programming-- Algorithms.,Number theory.
رده :
QA76
.
9
.
A43
24. Algorithmics of Nonuniformity :
المؤلف: Micha Hofri, Hosam Hahmoud.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Combinatorial analysis.,Computer algorithms.,Data structures (Computer science),Probabilities.,Combinatorial analysis.,Computer algorithms.,Data structures (Computer science),MATHEMATICS-- General.,Probabilities.
رده :
QA164
25. Algorithms and recursive functions /
المؤلف: A. I. Mal'cev ; translated from the first Russian edition by Leo F. Boron ; with the collaboration of Luis E. Sanchis, John Stillwell and Kiyoshi Iséki.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع:
26. Allocation Models and their Use in Economic Planning
المؤلف: by A.R.G. Heesterman.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Economics -- Statistics.,Economics.,Statistics.
رده :
HB74
.
M3
B937
1971
27. <An> introduction to Gödel's Theorems
المؤلف: \ Peter Smith
المکتبة: كتابخانه مجلس شوراي اسلامى (طهران)
موضوع:
28. An introduction to Ramsey theory :
المؤلف: Matthew Katz, Jan Reimann.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Combinatorial analysis.,Ramsey theory.,Combinatorial analysis.,Combinatorics -- Extremal combinatorics -- Ramsey theory.,Mathematical logic and foundations -- Computability and recursion theory -- Recursive functions and relations, subrecursive hierarchies.,Mathematical logic and foundations -- General logic -- Classical first-order logic.,Mathematical logic and foundations -- General logic -- Decidability of theories and sets of sentences.,Mathematical logic and foundations -- Instructional exposition (textbooks, tutorial papers, etc.).,Mathematical logic and foundations -- Nonstandard models -- Nonstandard models of arithmetic.,Mathematical logic and foundations -- Set theory -- Ordinal and cardinal numbers.,Ramsey theory.
رده :
QA165
.
K38
2018
29. An introduction to the general theory of algorithms
المؤلف: Machtey, Michael.
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Programming languages )Electronic computers(,، Computer algorithms,، Recursive functions
رده :
QA
76
.
7
.
M3
30. Applications and Science in Soft Computing
المؤلف: edited by Ahamad Lotfi, Jonathan M. Garibaldi.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Decision making.,Operations research.
31. Applications of Fibonacci Numbers :
المؤلف: edited by A.N. Philippou, A.F. Horadam, G.E. Bergum.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Algebra.,Mathematics.
رده :
QA241
.
E358
1988
32. Applications of Fibonacci numbers :
المؤلف: edited by G.E. Bergum, A.N. Philippou, and A.F. Horadam.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Fibonacci numbers -- Congresses.,Fibonacci numbers.,Fibonacci, Suites de -- Congrès.
33. Aspects and Prospects of Theoretical Computer Science :
المؤلف: by Jürgen Dassow, Jozef Kelemen.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Information theory.,Informatique -- Congrès.
رده :
QA75
.
5
B958
1990
34. Audio- and video-based biometric person authentication :
المؤلف: AVBPA 2003, Guildford, UK, June 9-11, 2003. Josef Kittler ; Mark S. Nixon (ed.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Automatische Sprechererkennung -- Authentifikation -- Kongress.,Biometrie -- Authentifikation -- Kongress.,Gesicht -- Bilderkennung -- Authentifikation -- Kongress.
35. Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit :
المؤلف: Hans Hermes.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Aufzählbarkeit.,Berechenbarkeit.,Recursive functions.
36. Aufzahlbarkeit, Entscheidbarkeit, Berechenbarkeit : Einfuhrung in die Theorie der Rekursiven Funktionen
المؤلف: Hermes, Hans
المکتبة: (طهران)
موضوع: ، Recursive functions
رده :
QA
248
.
5
.
H4
1978
37. Aufzahlbarkeit, Entscheidbarkeit, Berechenbarkeit; Einfuhrung in die Theorie der rekursiven Funktionen
المؤلف: Hermes, Hans.
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Recursive functions,، Algorithms,، Godel's theorem,، Computable functions
رده :
QA
248
.
5
.
H4
1971
38. Automata, languages and programming :
المؤلف: J. Leach Albert, B. Monien, M. Rodríguez Artalejo (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Machine theory -- Congresses.,Machine theory.
رده :
QA267
.
J543
1991
39. Baltic Computer Science :
المؤلف: by Janis Barzdins, Dines Bjorner.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Computer software.,Logic design.
رده :
QA76
.
B953
1991
40. Bayesian Approach to Global Optimization :
المؤلف: by Jonas Mockus.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Electronic data processing.,Information theory.
رده :
QA402
.
5
B956
1989
